función proposicional

См. также в других словарях:

• función proposicional — Expresión de tipo enunciativo que puede ser concebida como resultante de una oración al reemplazar los términos constantes presentes en ella por términos variables. Por ejemplo, x fue padre de y puede ser entendida como resultante de Adán fue… …   Enciclopedia Universal

• Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña …   Enciclopedia Universal

• proposicional — ► adjetivo LÓGICA De la proposición. * * * proposicional. adj. Perteneciente o relativo a las proposiciones de la lógica. □ V. cálculo proposicional. * * * (as used in expressions) actitud proposicional cálculo proposicional …   Enciclopedia Universal

• Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

• Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… …   Wikipedia Español

• Lenguaje proposicional — Este artículo o sección tiene una estructura no enciclopédica, más propia de libros avanzados de lógica, con terminología matemática muy técnica que no es compatible con un formato enciclopédico de uso general y difícil de entender para lectores… …   Wikipedia Español

• Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

• Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

• Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

• Sobre la denotación — (en inglés On denoting), escrito por Bertrand Russell, es uno de los más significativos e influyentes ensayos filosóficos del siglo XX. Fue publicado en la revista Mind en 1905; luego reimpreso en esa misma revista en el aniversario de 2005 y en… …   Wikipedia Español

• Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …   Wikipedia Español